Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
931	Microsoft Word - Devt11.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2006-03-21 09:28:28 Cybernetics Software requirements Systems engineering Water transport infrastructure Mining equipment Sluice Gate Domain-specific language Formal specification Software development Technology Science
932	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
933	BRICS Basic Research in Computer Science BRICS RSAger et al.: On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluatio On Obtaining Knuth, Morris, and Pratt’s Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-12 05:12:36 Formal languages String matching algorithms Logic in computer science Programming language semantics Donald Knuth Knuth–Morris–Pratt algorithm String Algorithm Functional programming Mathematics Theoretical computer science Computing
934	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
935	edition 3 / JUNEE T A D Add to Reading List Source URL: www.dynelytics.com Language: English - Date: 2013-06-01 05:19:07 Data management Formal sciences Data analysis SPSS Natural language processing Text mining ADAPA Data mining Analytics Statistics Business intelligence Science
936	Where, Exactly, Is Software Development? Michael Jackson 101 Hamilton Terrace, London NW8 9QY, England Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-12-15 08:01:26 Abstraction Formal sciences Software requirements Formal methods System Computing Requirement Domain-specific language Logic Science Software development Knowledge
937	Frontiers in Advanced Computing, Mathematics, and Data Lecture Series The Role of the Cloud and Big Data Analytics in Scientific Research and the Search for Add to Reading List Source URL: computerlectures.pnnl.gov Language: English - Date: 2015-03-09 13:07:19 Data management Emerging technologies Cloud computing Big data Analytics Computer science Qatar Computing Research Institute IBM cloud computing Technology Formal sciences Computing
938	Contents Lang101 Workbook – User’s Guide .......................................................................v Exercises & Activities Add to Reading List Source URL: www.lang101.com Language: English - Date: 2012-04-03 03:28:35 Language Grammar Knowledge Linguistics Formal language Science Academia Human communication
939	Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Software engineering Theoretical computer science Notation Programming language ALGOL 68 Software development process Agile software development Algorithm Abstraction Formal methods Computing Software development
940	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-09-22 01:23:29 Constraint programming Formal methods Programming paradigms Predicate logic Satisfiability Modulo Theories Program synthesis Algorithm First-order logic Function Mathematics Theoretical computer science Applied mathematics

UPDATE